Skip to main content
Scour
Discover
Docs
Login
Sign Up
Discover
About
Docs
Changelog
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Type Inference
🔍 Type Inference
Hindley-Milner, Unification, Constraint Solving, OCaml Types
Filter Results
Timeframe
Choose a timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
40
posts in
39.5
ms
λ
Functional Programming
Haskell Weekly Newsletter
·
3d
3 days ago
Issue 529
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Issue 529
🎯
Hindley-Milner
discuss.ocaml.org
·
1d
1 day ago
OCaml
5.5.0
Discussed on
Hacker News
,
Hacker News
, and
Lobsters
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for OCaml 5.5.0
🔌
FPGA Programming
unsafeperform.io
·
2h
2 hours ago
Retrocomputing with Clash –
Haskell
for FPGA Hardware Design
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Retrocomputing with Clash – Haskell for FPGA Hardware Design
λ
Functional Programming
GitHub
·
12h
12 hours ago
haskell/ghcup-metadata
Covers
#ariel-os:matrix.org .
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for haskell/ghcup-metadata
🧮
Algebraic Effects
Stephen Diehl
·
1d
1 day ago
Prism: An Impure Functional Language With
Typed
Effects
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Prism: An Impure Functional Language With Typed Effects
λ
Functional Programming
Serokell Blog
·
5d
5 days ago
How Serokell Contributes to the Future of
Haskell
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for How Serokell Contributes to the Future of Haskell
λ
Functional Programming
wiki.haskell.org
·
1d
1 day ago
Wadler's Law
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Wadler's Law
🔢
Reference Counting
Jane Street Tech Blog
·
6d
6 days ago
Using OxCaml to implement
type-safe
reference counting between
OCaml
and Python
Covers
OxCaml, Jane Street's extension of OCaml is now open-source
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Using OxCaml to implement type-safe reference counting between OCaml and Python
λ
Functional Programming
abhinavsarkar.net
·
3d
3 days ago
Nix for
Haskell
: Static Builds
Covers
3 stories
See all stories this covers
including
NixOS
Discussed on
Lobsters
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Nix for Haskell: Static Builds
🤔
Philosophy
DEV Community
·
1h
1 hour ago
🌈 The ultimate
polymorphism
: PureScript as a universal language
Discussed on
DEV
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for 🌈 The ultimate polymorphism: PureScript as a universal language
📡
RSS
i-programmer.info
·
1d
1 day ago
Hello, World!: A Brief History of Programming in 90 Languages (Badger Media)
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Hello, World!: A Brief History of Programming in 90 Languages (Badger Media)
🔌
RSocket
flaviocorpa.com
·
5d
5 days ago
Haskell
for Elm developers: giving names to stuff (Part 8 – IO)
Covered by
Haskell Weekly Newsletter
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Haskell for Elm developers: giving names to stuff (Part 8 – IO)
λ
Functional Programming
Tweag
·
3d
3 days ago
Sheaves in
Haskell
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Sheaves in Haskell
⌨️
Text Editors
Emacs Redux
·
1d
1 day ago
Essential Structured Navigation and Editing Commands
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Essential Structured Navigation and Editing Commands
λ
Functional Programming
buzzsprout.com
Content type:
Audio
·
6d
6 days ago
80: POPL 2026 - Part 2
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for 80: POPL 2026 - Part 2
📝
NLP
astledsa.substack.com
·
1d
1 day ago
Tree Transformers
Discussed on
Substack
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Tree Transformers
🗄️
Databases
nikita-volkov.github.io
·
3d
3 days ago
Pqi: Making Libpq a Choice, Not a Requirement
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Pqi: Making Libpq a Choice, Not a Requirement
💻
Terminal Tools
Track Awesome List
·
6d
6 days ago
Awesome List Updated on Jun 15, 2026
Covers
anomalyco/opencode: The open source coding agent.
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Awesome List Updated on Jun 15, 2026
λ
Functional Programming
prog21.dadgum.com
·
5d
5 days ago
Papers from the Lost Culture of Array Languages (2011)
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Papers from the Lost Culture of Array Languages (2011)
Less-relevant results
📝
Markdown
pandoc.org
·
21h
21 hours ago
Pandoc
Covers
4 stories
See all stories this covers
including
Building a Smart Session Tracker for Your Mac's Menu Bar
Covered by
GitHub
,
codeutopia.net
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Pandoc
Page 2 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous post
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Discover
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help
Like
Save
Not for me
Report